🐚 Bash FP

Shell Scripting, Pipeline Composition, Immutable Operations, Functional Style

PHP 8.5 Adds Pipe Operator: What it means
thephp.foundation·14h·
Discuss: Lobsters, Hacker News, r/programming
🐚Shell Calculus
Bouncing on trampolines to run eBPF programs
bootlin.com·11h
🔍eBPF
The hiring test that defeated AI
bitecode.dev·3h·
Discuss: Hacker News
✅Shell Verification
I Built My Own Shell for Fun. You Can Too
dev.to·4d·
Discuss: DEV
📝Shell Parsing
An Easy Problem Made Hard: Rust & Binary Trees
mmhaskell.com·1d·
Discuss: Hacker News
🔒Linear Types
Week 31 Status
blogs.gnome.org·20h
🎯Gradual Typing
Come Try Out Piglet
arnebrasseur.net·1d·
Discuss: Hacker News
🐚Bash Monads
How the Lean language brings math to coding and coding to math
amazon.science·22m·
Discuss: Hacker News
🔬Lean
Challenges of Pseudocode Expansion
funcall.blogspot.com·1d·
Discuss: www.blogger.com
🔗Lisp
Detection Engineering: Practicing Detection-as-Code – Validation – Part 3
blog.nviso.eu·11h
✅Archive Validation
A New Concurrent ML in Guile Scheme
wingolog.org·9h·
Discuss: Hacker News
🔄Lens Laws
Introducing luzer, a coverage-guided Lua fuzzing engine
bronevichok.ru·1d·
Discuss: Lobsters, Hacker News
🧪Binary Fuzzing
PFL: a Probabilistic Logic for Fault Trees
arxiv.org·14h
📋Formal Verification
MCP Prompts: Building Workflow Automation
blog.modelcontextprotocol.io·3h·
Discuss: Hacker News
🐚Shell Automation
Analysing Snapshot Isolation
muratbuffalo.blogspot.com·5h·
Discuss: www.blogger.com
🌳Persistent Data Structures
TypeScript Delivers Better Developer Experience With New Enhancements
hackernoon.com·1d
💧Liquid Types
ssheven: A minimal new SSH client for Mac OS 7/8/9
github.com·35m
🐚Nordic Shell
Poltergeist: The ghost that keeps your builds fresh
github.com·2h·
Discuss: Hacker News
🔗Topological Sorting
Building rust UEFI apps on Fedora
nullr0ute.com·13m
🦀Embedded Rust
Semantic Refinement/Dependent Typing for Knuckledragger/SMTLIB Pt 1
philipzucker.com·1d·
Discuss: Hacker News
💧Liquid Types